用Tait方法证明了Heawood反例是四色的；用Kempe链方法证明了Tutte反例也是四色的。讨论了民航空域覆盖的四色模型。......

英国数学家Ｋａｍｐｅ给出了四色定律的第一个证明，１０年后Ｈｅａｗｏｏｄ指出该证明有致命错误，Ｈｅａｗｏｏｄ还利用Ｋａｍｐｅ的方法证明了五色定理。本文分析了Ｋａｍｐｅ方法的漏洞，同时也分析了......